2740 search results - page 338 / 548 » Typing the Specialization Interface |
161
click to vote
ISORC
2007
IEEE
15 years 10 months ago
2007
IEEE
Due to the special characteristics (limited battery power, limited computing capability, low bandwidth, need to collect sensor data from multiple fixed-location source nodes to a...
137
click to vote
TASE
2007
IEEE
15 years 10 months ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
121
click to vote
WCRE
2007
IEEE
15 years 10 months ago
2007
IEEE
The software industry is increasingly confronted with the issues of understanding and maintaining a special type of object-oriented systems, namely enterprise applications. A spec...
145
click to vote
ER
2007
Springer
15 years 10 months ago
2007
Springer
This paper explores the opportunities and challenges for Conceptual Modeling in the domain of Virtual Reality (VR). VR applications are becoming more feasible due to better and fa...
227
click to vote
EUSAI
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we present concepts for and experiences with a Situated Public Display system deployed in a university setting. We identify the rate with which information is updated...