873 search results - page 33 / 175 » Effective Use of Organisational Abstractions for Confidence ... |
158
click to vote
DATE
2006
IEEE
16 years 4 days ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
177
click to vote
ICWS
2009
IEEE
15 years 3 months ago
2009
IEEE
Workflow models have been used and refined for years to execute processes within organisations. To deal with collaborative processes (choreographies) these internal workflow model...
153
click to vote
IEE
2002
15 years 5 months ago
2002
: Software practitioners recognise the importance of realistic estimates of effort for the successful management of software projects, the Web being no exception. Estimates are nec...
156
click to vote
FM
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Despite more then 30 years of research on protocol specification, the major protocols deployed in the Internet, such as TCP, are described only in informal prose RFCs and...
134
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Although protein-protein interaction networks determined with high-throughput methods are incomplete, they are commonly used to infer the topology of the complete inte...