4074 search results - page 680 / 815 » Defining Computational Aesthetics |
154
click to vote
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
This poster presents a design language and a tool suite covering the development life-cycle of a Sense/Compute/Control (SCC) application. This language makes it possible to define...
148
click to vote
SERVICEWAVE
2010
15 years 1 months ago
2010
Abstract. With the emergence of Cloud Computing resources of physical machines have to be allocated to virtual machines (VMs) in an ondemand way. However, the efficient allocation ...
122
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
154
click to vote
TAP
2010
Springer
15 years 1 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
174
click to vote
EDBT
2009
ACM
15 years 1 months ago
2009
ACM
Data Stream Management Systems (DSMS) operate under strict performance requirements. Key to meeting such requirements is to efficiently handle time-critical tasks such as managing...