9264 search results - page 1296 / 1853 » Space Between Languages |
164
click to vote
APSEC
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
203
click to vote
ICTAI
2007
IEEE
16 years 1 months ago
2007
IEEE
We introduce a novel Ontology-based Argumentation Framework (OAF) that links a logic-based argumentation formalism and description logic ontologies. We show how these two formalis...
219
click to vote
IEEESCC
2007
IEEE
16 years 1 months ago
2007
IEEE
Large-scale distributed systems, such as e-healthcare systems, are difficult to develop due to their complex and decentralized nature. The Service Oriented Architecture facilitat...
189
click to vote
VR
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstraction Layers for VR Application Development Gerwin de Haan∗ Michal Koutek† Frits H. Post‡ Delft University of Technology, The Netherlands The development of domain-spe...
151
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Mobile agents require access to computing resources on heterogeneous systems across the Internet. This demo illustrates how agents can negotiate terms and conditions of resource a...