2766 search results - page 386 / 554 » Hybridizing a Logical Framework |
144
click to vote
ICIDS
2009
Springer
15 years 11 months ago
2009
Springer
The IRIS Network of Excellence (NoE) started its work in January 2009. In this paper we highlight some new research directions developing within the network: one is revisiting narr...
125
click to vote
ROBOCOMM
2007
IEEE
15 years 10 months ago
2007
IEEE
—The vision of network robot systems involves robots embedded in smart environments, with which they can collaborate and communicate. In such systems, robots have access to many ...
162
click to vote
TIME
2007
IEEE
15 years 10 months ago
2007
IEEE
Transaction-time temporal databases and query languages provide a solid framework for analyzing properties of queries over data streams. In this paper we focus on issues connected...
145
Voted
ISDA
2005
IEEE
15 years 10 months ago
2005
IEEE
Intelligent behavior is the selection of actions based on knowledge. The design of the Fuzzy Adaptive Survivability Tool (FAST) agents and their intelligent behavior is explained....
139
click to vote
CONCUR
2004
Springer
15 years 10 months ago
2004
Springer
We propose a framework where behavioural properties of finite-state systems modelled as graph transformation systems can be expressed and verified. The technique is based on the ...