1261 search results - page 171 / 253 » Extending the Capabilities of Component Models for Embedded ... |
181
click to vote
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
161
click to vote
KI
2012
Springer
13 years 12 months ago
2012
Springer
The organisational specification of a multi-agent system supports agents’ effectiveness in attaining their purpose, or prevent certain undesired behaviour from occurring. This r...
130
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
Semantic Portal is the next generation of web portals that are powered by Semantic Web technologies for improved information sharing and exchange for a community of users. Current...
139
click to vote
ENTCS
2006
15 years 4 months ago
2006
The term Ubiquitous Computing was coined by Mark Weiser almost two decades ago. Despite all the time that has passed since Weiser's vision, ubiquitous computing still has a l...
147
click to vote
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...