1432 search results - page 281 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
105
click to vote
STORYTELLING
2005
Springer
15 years 2 months ago
2005
Springer
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....
86
Voted
CHARME
2003
Springer
15 years 2 months ago
2003
Springer
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...
ICDCS
1991
IEEE
15 years 28 days ago
1991
IEEE
of ‘‘network computers’’ is inherently lessAbstract predictable than that of more traditional distributed memory systems, such as hypercubes [22], since both theFor computa...
100
click to vote
ASPLOS
2008
ACM
14 years 11 months ago
2008
ACM
The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Addressing this challenge requires adva...
WM
2003
14 years 10 months ago
2003
: The business process revolution has had two impacts on project management: the recognition of a process perspective (such as the 39 appearing in the PMBOK), and the acknowledgeme...