11436 search results - page 133 / 2288 » Modeling Real Reasoning |
121
click to vote
SCANGIS
2003
15 years 4 months ago
2003
The GI2000 initiative considered the requirements for a geographic information infrastructure in Europe. This was followed by the European Territorial Management Information Infras...
111
click to vote
CONCUR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In this paper we introduce a real-time extension of the concurrent object modeling language Creol which is based on duration statements indicating best and worst case exe...
108
click to vote
CORR
2010
Springer
15 years 6 days ago
2010
Springer
We define a new transfinite time model of computation, infinite time cellular automata. The model is shown to be as powerful than infinite time Turing machines, both on finite and ...
146
click to vote
HT
2003
ACM
15 years 8 months ago
2003
ACM
This paper describes a generic hypermedia model that is used as a framework for building context aware and mixed reality applications. It can handle different media elements, and ...
124
click to vote
IPPS
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper presents general techniques for formally modeling, simulating, and model checking real-time resource-sharing protocols in Real-Time Maude. The “scheduling subset” o...