664 search results - page 127 / 133 » Building continuous webbed models for system F |
IEEESCC
2007
IEEE
15 years 3 months ago
2007
IEEE
UN/CEFACT’s Modeling Methodology (UMM) is a UML profile for modeling global B2B choreographies. The basic building blocks of UMM are business transactions, which describe the e...
70
Voted
CCS
2009
ACM
15 years 4 months ago
2009
ACM
Tor is an anonymous communications network with thousands of router nodes worldwide. An intuition reflected in much of the literature on anonymous communications is that, as an a...
GECCO
2009
Springer
15 years 4 months ago
2009
Springer
VLSI research, in its continuous push toward further miniaturisation, is seeking to break through the limitations of current circuit manufacture techniques by moving towards biomi...
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
The importance of electronic collaboration has risen as successful organisations recognize that they need to convert their intellectual resources into goods and services their cus...
WWW
2004
ACM
15 years 10 months ago
2004
ACM
Breaking news often contains timely definitions and descriptions of current terms, organizations and personalities. We utilize such web sources to construct definitions for such t...