4350 search results - page 324 / 870 » Case studies for contract-based systems |
180
click to vote
HICSS
2003
IEEE
16 years 11 hour ago
2003
IEEE
This paper describes a methodology that could be used by a utility to estimate the actual cost of congestion on its transmission system using limited, non-state estimator data. Th...
183
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
Distributed Computing, the exploitation of idle cycles on pervasive desktop PC systems offers the opportunity to increase the available computing power by orders of magnitude (10x...
218
click to vote
WORDS
2002
IEEE
15 years 11 months ago
2002
IEEE
The design and implementation of distributed real-time dependable systems is often dominated by non-functional considerations like timeliness, object placement and fault tolerance...
182
click to vote
RE
2001
Springer
15 years 11 months ago
2001
Springer
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...
165
click to vote
ICSM
1999
IEEE
15 years 11 months ago
1999
IEEE
Software systems are typically modified in order to extend or change their functionality, improve their performance, port them to different platforms, and so on. For developers, i...