3828 search results - page 665 / 766 » Proof-Based System Engineering Using a Virtual System Model |
122
click to vote
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
Ant Colony Optimization (ACO) has been successfully applied to those combinatorial optimization problems which can be translated into a graph exploration. Artificial ants build s...
175
Voted
GSN
2009
Springer
15 years 7 months ago
2009
Springer
A wireless sensor network deployment on a glacier in Iceland is described. The system uses power management as well as power harvesting to provide long-term environment sensing. Ad...
130
click to vote
CG
2004
Springer
15 years 2 months ago
2004
Springer
When interacting with natural or urban environments there are many situations where the ability to access data in real time becomes relevant. Augmented Reality (AR) technologies a...
143
click to vote
SIGMETRICS
2011
ACM
14 years 5 months ago
2011
ACM
Data Center Networks have recently caused much excitement in the industry and in the research community. They represent the convergence of networking, storage, computing and virtu...
110
click to vote
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
Calling context enhances program understanding and dynamic analyses by providing a rich representation of program location. Compared to imperative programs, objectoriented program...