22 search results - page 5 / 5 » Local Realizability Toposes and a Modal Logic for Computabil... |
COMSWARE
2007
IEEE
14 years 17 days ago
2007
IEEE
Abstract— Wireless sensor networks consist of small, inexpensive devices which interact with the environment, communicate with each other, and perform distributed computations in...
IEEESCC
2007
IEEE
14 years 16 days 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...