2106 search results - page 223 / 422 » Specifying C concepts |
132
click to vote
MOBISYS
2005
ACM
16 years 5 months ago
2005
ACM
? We present a system for automatic monitoring and timely dissemination of multimedia information to a range of mobile information appliances based on each user's interest pro...
140
click to vote
ICCAD
2006
IEEE
16 years 2 months ago
2006
IEEE
Battery-powered wireless sensors are severely constrained by the amount of the available energy. A method for computing the energy budget per sensing task can be a valuable design...
149
click to vote
SAC
2009
ACM
16 years 9 days ago
2009
ACM
This paper describes the agentTool Process Editor (APE), an Eclipse plug-in based on the Eclipse Process Framework. The aim of APE is to facilitate the design, verification, and m...
137
click to vote
ICSE
2009
IEEE-ACM
16 years 9 days ago
2009
IEEE-ACM
Within the field of software repository mining, it is common practice to extract change-events from source control systems and then abstract these events to allow for different a...
148
click to vote
CONCUR
2009
Springer
16 years 3 days ago
2009
Springer
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....