885 search results - page 34 / 177 » Process Patterns for COTS-Based Development |
124
click to vote
TSE
2008
15 years 2 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
120
click to vote
ICIAP
2009
ACM
15 years 9 months ago
2009
ACM
Multi-modality is a fundamental feature that characterizes biological systems and lets them achieve high robustness in understanding skills while coping with uncertainty. Relativel...
149
click to vote
SIPS
2008
IEEE
15 years 8 months ago
2008
IEEE
The development of embedded system has been toward the multicore architectures in the recent years. It raises concerns in the community of supporting programming models and langua...
104
Voted
ICECCS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract— Maintaining semantic consistency of data is a significant problem in distributed information systems, particularly those on which a business may depend. Our current wo...
122
click to vote
EUMAS
2006
15 years 3 months ago
2006
When developing BDI agent-based systems, some design patterns such as incompatible intentions, multiple strategies, intention decomposition, etc. would be very useful for specifyi...