249 search results - page 12 / 50 » Validating Architectural Feature Descriptions using LOTOS |
139
Voted
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...
163
click to vote
SMA
1993
ACM
15 years 7 months ago
1993
ACM
Form features present a rather attractive building block in computer-aided design environments for a variety of applications, providing the embodiment of engineering semantics in ...
177
click to vote
ARGMAS
2009
Springer
15 years 10 months ago
2009
Springer
We describe a working multi-agent architecture based on Defeasible Logic Programming (DeLP) by Garc´ıa and Simari where agents are engaged in an argumentation to reach a common c...
144
Voted
SDL
2003
15 years 5 months ago
2003
Network on Chip (NoC) is a new paradigm for designing large and complex systems on chips (SoCs). In this paradigm, a packet switched network is provided for on-chip communication. ...
120
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— Robots are emerging from industrial plants toward every people’s daily life. Thus, navigation in and understanding of human related environments becomes a prerequisit...