5247 search results - page 78 / 1050 » The Generalized A* Architecture |
77
Voted
CADE
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. The verification of device drivers is essential for the pervasive verification of an operating system. To show the correctness of device drivers, devices have to be forma...
107
Voted
ICAS
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract—A growing number of applications start using Semantic Web technologies. The base concept in this technology is the use of ontologies, allowing first-order logic reasoni...
ICDCSW
2005
IEEE
15 years 5 months ago
2005
IEEE
We have built a router testbed that is connected to the Deter/Emist experimental infrastructure. Our goal is to create a semi-realistic testbed to conduct BGP experiments, measure...
103
click to vote
EDOC
2003
IEEE
15 years 5 months ago
2003
IEEE
Component-Based Software Engineering, Separation of Concerns, Model-Driven Architecture, and Aspect-Oriented Programming are four active research areas that have been around for s...
BPM
2006
Springer
15 years 3 months ago
2006
Springer
Dynamic assembly of complex software is possible through automated composition of web services. Coordination scripts identify and orchestrate a number of services to fulfil a user ...