3239 search results - page 621 / 648 » A Logical Process Calculus |
106
click to vote
IEEESCC
2007
IEEE
15 years 6 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...
96
Voted
FUZZIEEE
2007
IEEE
15 years 6 months ago
2007
IEEE
— A DNA sequence can be described as a string composed of four symbols: A, T, C and G. Each symbol represents a chemically distinct nucleotide molecule. Combinations of two nucle...
120
click to vote
GEOS
2007
Springer
15 years 6 months ago
2007
Springer
Spatio-temporal network is defined by a set of nodes, and a set of edges, where the properties of nodes and edges may vary over time. Such networks are encountered in a variety of...
112
click to vote
ICSOC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. A key function of a Service Oriented Architecture is the separation between business logic and the platform of its implementation and deployment. Much of the focus in SOA...
MIDDLEWARE
2007
Springer
15 years 6 months ago
2007
Springer
Pervasive devices are becoming popular and smaller. Those mobile systems should be able to adapt to changing requirements and execution environments. But it requires the ability t...