2153 search results - page 326 / 431 » From Requirements Models to Formal Specifications in B |
170
click to vote
TSE
1998
15 years 6 months ago
1998
—In this paper, we propose an integrated methodology for specifying AIN and switch-based features and analyzing their interactions in the AIN 0.1 framework. The specification of ...
170
click to vote
SECON
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract-- Spatial dissemination is a specific form of information dissemination that enables mobile users to send information to other mobile users who are or will appear at a spe...
184
click to vote
BIRTHDAY
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents a new model for mobile processes in occam-π. A process, embedded anywhere in a dynamically evolving network, may suspend itself mid-execution, be safely discon...
173
click to vote
ISMB
2000
15 years 7 months ago
2000
Mycobacterium tuberculosis (M. tb.) strains differ in the number and locations of a transposon-like insertion sequence known as IS6110. Accurate detection of this sequence can be ...
162
click to vote
PODS
2007
ACM
16 years 6 months ago
2007
ACM
Event processing systems have wide applications ranging from managing events from RFID readers to monitoring RSS feeds. Consequently, there exists much work on them in the literat...