274 search results - page 50 / 55 » The Maude Formal Tool Environment |
AGENTS
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. One of the reasons for attending to agent technology is the evergrowing complexity of information systems and the increasing difficulty to foresee and plan for all potent...
ICSE
2000
IEEE-ACM
14 years 1 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
COORDINATION
2006
Springer
13 years 12 months ago
2006
Springer
Abstract. Enabling coordination among ubiquitous computing applicad resources requires programming abstractions and development tools tailored to this unique environment. This pape...
FASE
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. The notion of feature is heavily used in Software Engineering, especially for software product lines. However, this notion appears to be confusing, mixing various aspects...
LREC
2010
13 years 11 months ago
2010
LT World (www.lt-world.org) is an ontology-driven web portal aimed at serving the global language technology community. Ontology-driven means, that the system is driven by an onto...