14331 search results - page 22 / 2867 » On the modeling and analysis of obligations |
161
Voted
IFM
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. Event-B is a notation and method for discrete systems modelling by refinement. We introduce a small but very useful construction: qualitative probabilistic choice. It ex...
158
click to vote
IPPS
2008
IEEE
16 years 15 days ago
2008
IEEE
High performance computing is critical for financial markets where analysts seek to accelerate complex optimizations such as pricing engines to maintain a competitive edge. In th...
DAC
2005
ACM
16 years 7 months ago
2005
ACM
We present several improvements to general-purpose sequential redundancy removal. First, we propose using a robust variety of synergistic transformation and verification algorithm...
155
click to vote
HICSS
2010
IEEE
16 years 29 days ago
2010
IEEE
Geographic information retrieval (GIR) is, as a branch of traditional information retrieval, a discipline that tries to enrich data with geographical information to make it suitab...
130
click to vote
SEFM
2007
IEEE
16 years 11 days ago
2007
IEEE
Reactive integrated development environments for software engineering have lead to an increase in productivity and quality of programs produced. They have done so by replacing the...