2282 search results - page 198 / 457 » Active property checking |
116
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
This paper presents a methodology for interoperability testing based on contextual signatures and passive testing with invariants. The concept of contextual signature offers a fra...
146
click to vote
ACISICIS
2008
IEEE
15 years 11 months ago
2008
IEEE
Wireless sensor networks (WSNs) provide various environment data in the real-world, and also WSNs´s middleware is able to offer field data in real-time by user queries. For mate...
139
Voted
LICS
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper reports on and discusses three notions of approximation for Labelled Markov Processes that have been developed last year. The three schemes are improvements over former...
158
Voted
DALT
2004
Springer
15 years 8 months ago
2004
Springer
Systems of autonomous agents providing automated services over the Web are fast becoming a reality. Often these agent systems are constructed using procedural architectures that pr...
117
click to vote
CSDA
2008
15 years 5 months ago
2008
The most often used approaches to obtaining and using residuals in applied work with time series models, are unified and documented with both partially-known and new features. Spe...