777 search results - page 83 / 156 » The Refined Process Structure Tree |
159
click to vote
BIRTHDAY
2008
Springer
15 years 5 months ago
2008
Springer
In network applications it is crucial to have a mechanism to guarantee that communications evolve correctly according to the agreed protocol. Session types offer a method for abstr...
155
click to vote
GI
2009
Springer
15 years 1 months ago
2009
Springer
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
155
click to vote
APSEC
2001
IEEE
15 years 7 months ago
2001
IEEE
Word processing software, email, and spreadsheet have revolutionized office activities. There are many other office tasks that are amenable to automation, such as: scheduling a vi...
110
click to vote
BCSHCI
2009
15 years 5 months ago
2009
We describe the process of developing worth maps from field research and initial design sketches for a digital Family Archive, which resulted in a more simple and flexible worth m...
146
click to vote
IMR
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we propose a robust isotropic tetrahedral mesh generation method. An advancing front method is employed to control local mesh density and to easily preserve the ori...