7209 search results - page 536 / 1442 » Software Engineering for Multi-Agent Systems |
152
click to vote
CODES
2006
IEEE
15 years 10 months ago
2006
IEEE
Virtual platform (ViP), or ESL (Electronic System Level) simulation model, is one of the most widely renowned system level design techniques. In this paper, we present a case stud...
143
click to vote
ISSRE
2003
IEEE
15 years 9 months ago
2003
IEEE
-- This paper presents three principles for alarm analysis to develop early warnings of failure. The concepts are illustrated with real data and experience drawn from Comverse Voic...
144
click to vote
ENTCS
2010
15 years 1 months ago
2010
We propose an automata-based formalism for the description of biological systems that allows properties expressed in the universal fragment of CTL to be verified in a modular way....
124
click to vote
FSTTCS
2007
Springer
15 years 10 months ago
2007
Springer
We introduce PEP, the Post Embedding Problem, a variant of PCP where one compares strings with the subword relation, and PEPreg , a further variant where solutions are constrained ...
153
click to vote
SAFECOMP
2005
Springer
15 years 10 months ago
2005
Springer
In the telecommunications sector product development must minimise time to market while delivering high levels of dependability, availability, maintainability and scalability. High...