2027 search results - page 169 / 406 » Process Support for Tools Interoperability |
143
Voted
RTAS
2008
IEEE
15 years 9 months ago
2008
IEEE
The notion of resource reservation for obtaining real-time scheduling guarantees and enforcement of resource usage has gained strong support in recent years. However, much work on...
136
Voted
URBAN
2011
14 years 9 months ago
2011
This paper reports on the development and application of strategies and tools for geographic information seeking and knowledge building that leverages unstructured text resources ...
116
Voted
ICECCS
2005
IEEE
15 years 8 months ago
2005
IEEE
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
117
click to vote
ICFEM
2009
Springer
15 years 9 months ago
2009
Springer
Fault-tolerant (FT) distributed protocols (such as group membership, consensus, etc.) represent fundamental building blocks for many practical systems, e.g., the Google File System...
227
click to vote
AADEBUG
2005
Springer
15 years 8 months ago
2005
Springer
Code coverage analysis, the process of finding code exercised by a particular set of test inputs, is an important component of software development and verification. Most tradit...