4502 search results - page 681 / 901 » Regular Model Checking |
174
click to vote
AOSE
2005
Springer
16 years 3 days ago
2005
Springer
In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms int...
133
click to vote
FROCOS
2005
Springer
16 years 3 days ago
2005
Springer
Interface formalisms are able to model both the input requirements and the output behavior of system components; they support both bottom-up component-based design, and top-down de...
172
click to vote
ICTAC
2005
Springer
16 years 2 days ago
2005
Springer
In distributed and mobile systems with volatile bandwidth and fragile connectivity, non-functional aspects like performance and reliability become more and more important. To forma...
188
click to vote
JSSPP
2005
Springer
16 years 2 days ago
2005
Springer
Real-time applications with security requirements are emerging in various areas including government, education, and business. The security sensitive real-time applications can ta...
158
click to vote
ISSTA
2004
ACM
16 years 5 hour ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...