115 search results - page 10 / 23 » A Systems Engineering Approach for Constructing Certifiable ... |
145
click to vote
ISSTA
2009
ACM
15 years 8 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
131
click to vote
IPPS
2002
IEEE
15 years 8 months ago
2002
IEEE
A natural trend in most of the engineering disciplines is the construction of systems from components. This has the potential to reduce costs and increase reliability, provided th...
125
click to vote
SIGSOFT
2006
ACM
15 years 9 months ago
2006
ACM
Developers of distributed systems routinely construct discrete-event simulations to help understand and evaluate the behavior of inter-component protocols. Simulations are abstrac...
152
click to vote
DAIS
2007
15 years 4 months ago
2007
Constructing and executing distributed applications that can adapt to their current operating context, in order to maintain or enhance Quality of Service (QoS) attribute levels, ar...
135
Voted
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...