10159 search results - page 1754 / 2032 » System Design Validation Using Formal Models |
181
click to vote
RTCSA
2005
IEEE
16 years 7 days ago
2005
IEEE
Location based services are becoming essential feature of context-awareness in ubiquitous computing. Reflective distribute component programming model is proposed to systematicall...
174
click to vote
CEC
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract- Decomposing a complex computational problem into sub-problems, which are computationally simpler to solve individually and which can be combined to produce a solution to ...
181
click to vote
CW
2008
IEEE
16 years 1 months ago
2008
IEEE
The availability of intuitive, user-friendly and specialized software to work with 3D models of cultural heritage artifacts is as important as the availability of low-cost and rob...
229
click to vote
FASE
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. A Sentient Computing environment is one in which the system is able to perceive the state of the physical world and use this information to customise its behaviour. Mobil...
137
click to vote
CLUSTER
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we describe the use of a cluster as a generalized facility for development. A development facility is a system used primarily for testing and development activities...