2542 search results - page 299 / 509 » An Operational Definition of Context |
179
click to vote
ECTEL
2007
Springer
16 years 22 days ago
2007
Springer
Web2.0 is a conceptual framework that aims at enhancing the World Wide Web with semantic and social functionnalities. For this framework to fully develop, there is a need for concr...
175
click to vote
FMICS
2007
Springer
16 years 21 days ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
144
click to vote
FPL
2007
Springer
16 years 21 days ago
2007
Springer
The idea of changing cache attributes to suit an application has been explored for single programs. As the popularity of reconfigurable softcore systems grows and these systems in...
179
click to vote
GFKL
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Artificial systems with a high degree of autonomy require reliable semantic information about the context they operate in. State interpretation, however, is a difficult ...
162
click to vote
ICTAC
2007
Springer
16 years 21 days ago
2007
Springer
We present regular linear temporal logic (RLTL), a logic that generalizes linear temporal logic with the ability to use regular expressions arbitrarily as sub-expressions. Every LT...