3801 search results - page 494 / 761 » An Approach to Modeling Software Safety |
211
click to vote
MEMOCODE
2008
IEEE
16 years 1 months ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
148
click to vote
HICSS
2007
IEEE
16 years 29 days ago
2007
IEEE
Abstract— In recent years business-to-business (B2B) ecommerce has been subject to major rethinking. A paradigm shift from document centric file-based interchange of business in...
185
click to vote
IEEEARES
2007
IEEE
16 years 29 days ago
2007
IEEE
Model-based development has become state of the art in software engineering. A number of tools, like Matlab/Simulink or SCADE, are available for the automatic generation of applic...
182
click to vote
ATAL
2005
Springer
16 years 5 days ago
2005
Springer
Whilst tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program code. AUML dev...
183
click to vote
MIDDLEWARE
2001
Springer
15 years 11 months ago
2001
Springer
Middleware has emerged as an important architectural component in modern distributed systems. Most recently, industry has witnessed the emergence of component-based middleware pla...