6079 search results - page 383 / 1216 » Aspect-Oriented Process Engineering |
197
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
183
click to vote
AGILEDC
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper describes a journey from 2004 to 2008 when SoftwarePeople in Denmark, together with a partner from Bangladesh, established a subsidiary company more than 7000 km away f...
206
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
Though there is a multitude of software modeling tools available, the handling of diagrams, which are an essential way of representation, is still difficult. To overcome these pr...
168
click to vote
FSEN
2009
Springer
16 years 1 months ago
2009
Springer
We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize...
164
click to vote
AGILEDC
2007
IEEE
16 years 1 months ago
2007
IEEE
This experience report is about a software process, designed with performance testing in mind, was used to create a mission critical integration layer. This report focuses on how ...