8627 search results - page 1593 / 1726 » Software Engineering Using RATionale |
139
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
While numerous metrics for information retrieval are available in the case of binary relevance, there is only one commonly used metric for graded relevance, namely the Discounted ...
168
click to vote
FSTTCS
2009
Springer
16 years 1 months ago
2009
Springer
ABSTRACT. We consider concurrent systems that can be modelled as 1-safe Petri nets communicating through a fixed set of buffers (modelled as unbounded places). We identify a param...
145
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...
171
click to vote
EICS
2009
ACM
16 years 29 days ago
2009
ACM
In this paper we present a software toolkit for deploying peer-topeer distributed graphical user interfaces across four dimensions: multiple displays, multiple platforms, multiple...
156
click to vote
ISLPED
2009
ACM
16 years 29 days ago
2009
ACM
An energy efficient object recognition processor is proposed for real-time visual applications. Its energy efficiency is improved by lowering average power consumption while susta...