4067 search results - page 380 / 814 » Programs for Applying Symmetries |
145
click to vote
TGC
2007
Springer
16 years 29 days ago
2007
Springer
Several models based on process calculi have addressed the definition of linguistic primitives for handling long running transactions and Service Level Agreement (SLA) in service ...
192
click to vote
UCS
2007
Springer
2007
Springer
Instant Learning Sound Sensor: Flexible Real-World Event Recognition System for Ubiquitous Computing
16 years 29 days ago
We propose a smart sound sensor for building context-aware systems that instantly learn and detect events from various kinds of everyday sounds and environmental noise by using sma...
160
click to vote
SAC
2006
ACM
16 years 24 days ago
2006
ACM
We provide sufficient conditions that formally guarantee that the floating-point computation of a polynomial evaluation is faithful. To this end, we develop a formalization of ...
167
click to vote
SAC
2006
ACM
16 years 24 days ago
2006
ACM
Component-oriented programming facilitates the development of reusable application parts encapsulated by welldefined interfaces. There is however a tension between compatibility ...
194
click to vote
SAC
2006
ACM
16 years 24 days ago
2006
ACM
Parameterization is an effective technique for building flexible, reusable software. When dealing with parameterized components, an important concern is the time at which parame...