780 search results - page 86 / 156 » Case Study: Model Transformations for Time-triggered Languag... |
CAV
2005
Springer
14 years 1 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
COMPSAC
2009
IEEE
14 years 15 days ago
2009
IEEE
Abstract—The pervasiveness of complex communication services and the need for end-users to play a greater role in developing communication services have resulted in the creation ...
EDOC
2006
IEEE
14 years 1 months ago
2006
IEEE
— An enterprise architecture is intended to be a comprehensive blueprint describing the key components and relationships for an enterprise from strategies to business processes t...
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
To achieve the goalof realizingobject adaptationto environments, a new role-based model Epsilon and a language EpsilonJ is proposed. In Epsilon, an environment is defined as a fie...
CAISE
2004
Springer
14 years 1 months ago
2004
Springer
The Semantic Web vision aims to integrate and convert the vast amount of information available on the Internet into a machine-understandable network. The objective is to promote kn...