14331 search results - page 325 / 2867 » On the modeling and analysis of obligations |
190
click to vote
ATAL
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. This paper is concerned with the problem of how effective social interaction arises from individual social action and mind. The need to study the individual social mind s...
170
click to vote
ASIACRYPT
2006
Springer
15 years 10 months ago
2006
Springer
Understanding what construction strategy has a chance to be a good hash function is extremely important nowadays. In TCC'04, Maurer et al. [13] introduced the notion of indiff...
175
click to vote
DATE
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract. We propose an approach to scenario-based analysis and synthesis of real-time embedded systems. The inter-process behaviors of a system are modeled as a set of driving uni...
223
click to vote
WAN
1998
Springer
15 years 10 months ago
1998
Springer
We present a model for the parallel performance of algorithms that consist of concurrent, two-dimensional wavefronts implemented in a message passing environment. The model combine...
194
click to vote
SERP
2007
15 years 8 months ago
2007
Model driven code generation has been investigated in traditional and object-oriented design paradigms; significant progress has been made. It offers many advantages including the...