3706 search results - page 272 / 742 » KtSeqC: System Description |
150
click to vote
IRI
2007
IEEE
16 years 1 months ago
2007
IEEE
Crime reporting needs to be possible 24/7. Although 911 and tip-lines are the most publicized reporting mechanisms, several other options exist, ranging from inperson reporting to...
185
click to vote
QEST
2006
IEEE
16 years 22 days ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
198
click to vote
HICSS
2000
IEEE
15 years 11 months ago
2000
IEEE
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
184
click to vote
ISORC
2000
IEEE
15 years 11 months ago
2000
IEEE
We introduce Hybrid Sequence Charts (HySCs) as a visual description technique for communication in hybrid system models. To that end, we adapt a subset of the well-known MSC synta...
187
click to vote
APCCM
2009
15 years 7 months ago
2009
Application domain description precedes requirements engineering, and is the basis for the development of a software or information system that satisfies all expectations of its u...