10038 search results - page 1577 / 2008 » Model Checking for Managers |
177
click to vote
CONTEXT
2007
Springer
16 years 28 days ago
2007
Springer
Indexing is often designed with the intent of dimensional reduction, that is, of generating standardised and uniform descriptive metadata. This could be characterised as a process ...
167
click to vote
CONTEXT
2007
Springer
16 years 28 days ago
2007
Springer
In this article we present the architecture of an m-learning (mobile-learning) environment using Bluetooth as communications technology. We also describe its practical implementati...
154
click to vote
CONTEXT
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Ontologies can be used for e-business integration, for example by describing existing e-business standards as ontologies. If cooperating parties use different ontologies...
168
click to vote
CONTEXT
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Delimited continuations are the meanings of delimited evaluation contexts in programming languages. We show they offer a uniform view of many scenarios that arise in sys...
168
click to vote
CONTEXT
2007
Springer
16 years 28 days ago
2007
Springer
Ambient intelligent systems are context aware by perceiving and reasoning about their environment, they perceive the needs of their users and proactively respond to these needs by ...