3468 search results - page 136 / 694 » An open logical framework |
128
Voted
FATES
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...
139
Voted
ISPDC
2006
IEEE
15 years 6 months ago
2006
IEEE
The World Wide Web has become pervasive in many facets of our professional and personal lives during the past 10 years. Today, another Internet revolution is emerging: Grid Comput...
124
click to vote
EAGC
2004
Springer
15 years 6 months ago
2004
Springer
Metadata management is critical for Grid systems. More specifically, semantically meaningful resource descriptions constitute a highly beneficial extension to Grid environments t...
98
Voted
AAMAS
2007
Springer
15 years 28 days ago
2007
Springer
Sophisticated agents operating in open environments must make decisions that efficiently trade off the use of their limited resources between dynamic deliberative actions and dom...
69
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
The open-source framework AKIRA integrates Multiagent and Pandemonium elements. We describe the main components of the framework, showing that the hybrid nature of the Agents, hav...