15644 search results - page 311 / 3129 » Brittle System Analysis |
170
click to vote
ATAL
2004
Springer
16 years 4 days ago
2004
Springer
Methodologies for multiagent system development should assist the developer in making decisions about those aspects of the analysis, design and implementation, that are crucial fo...
186
click to vote
IV
2003
IEEE
16 years 6 hour ago
2003
IEEE
1 This paper reports results from a study on the adoption of an information visualization system by administrative data analysts. Despite the fact that the system was neither fully...
179
click to vote
HICSS
2010
IEEE
15 years 7 months ago
2010
IEEE
Realizing business value and identifying the benefits arising from implementations of enterprise systems remains a significant challenge for both research and practice. A review o...
197
click to vote
ISSTA
1998
ACM
15 years 10 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
157
click to vote
SSS
2009
Springer
16 years 1 months ago
2009
Springer
We describe an approach to the analysis of protocols for wireless sensor networks in scenarios with mobile nodes and dynamic link quality. The approach is based on the theorem prov...