13977 search results - page 2615 / 2796 » Evolution in complex systems |
159
click to vote
KBSE
2005
IEEE
16 years 1 days ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
175
click to vote
SAINT
2005
IEEE
16 years 1 days ago
2005
IEEE
The Mobile Internet scenario encourages the design and development of context-aware applications that provide results depending on context information, such as the relative positi...
171
click to vote
TPHOL
2005
IEEE
16 years 1 days ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
168
click to vote
IUI
2005
ACM
16 years 19 hour ago
2005
ACM
XML has emerged as the primary standard of data representation and data exchange [13]. Although many software tools exist to assist the XML implementation process, data must be ma...
173
click to vote
SENSYS
2005
ACM
16 years 16 hour ago
2005
ACM
Increasing user comfort and reducing operation costs have always been two primary objectives of building operations and control strategies. Current building control strategies are...