589 search results - page 50 / 118 » Introducing Dynamic Constraints in B |
ECOOP
1994
Springer
14 years 4 days ago
1994
Springer
Product configuration management is presented as a practical application for a prototype-based object model. Data model requirements for a configuration system are first introduced...
ACL
2006
13 years 9 months ago
2006
We introduce a new multi-threaded parsing algorithm on unification grammars designed specifically for multimodal interaction and noisy environments. By lifting some traditional co...
ESOP
2009
Springer
14 years 2 months ago
2009
Springer
We present a type theory for analyzing concurrent multiparty interactions as found in service-oriented computing. Our theory introduces a novel and flexible type structure, able t...
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
— This paper extends the notion of residuals for fault detection, well known in the continuous system to the timed discrete events systems. The aim is to design the fault indicat...
AIPS
2003
13 years 9 months ago
2003
Scheduling algorithms for real-time systems can be characterized in various ways, one of the most important ones of which is the underlying task model. Many concepts of real-time ...