1849 search results - page 161 / 370 » Modelling Context Information with ORM |
137
click to vote
SAS
2009
Springer
16 years 5 months ago
2009
Springer
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
112
click to vote
ISPW
2009
IEEE
15 years 11 months ago
2009
IEEE
It is usual for work completed at one point in a software development process to be revisited, or reworked, at a later point. Such rework is informally understood, but if we hope t...
129
click to vote
RECONFIG
2008
IEEE
15 years 11 months ago
2008
IEEE
In the context of the emergence of alternative computing resources to address the challenge of the upcoming end of Moore’s law, we consider the feasibility of gathering computat...
165
click to vote
BIS
2009
15 years 5 months ago
2009
Abstract. Social software is known to stimulate the exchange and sharing of information among peers. This paper describes how an existing system that supports process builders in c...
173
click to vote
ISAMI
2010
15 years 2 months ago
2010
It is recognized in Ambient Intelligence that ambient devices should be modeled as intelligent autonomous components rather than passive information sources. The agent paradigm sui...