1029 search results - page 40 / 206 » An Architecture for Problem Solving with Diagrams |
163
click to vote
FTDCS
2004
IEEE
15 years 10 months ago
2004
IEEE
Peer-to-peer (P2P) networks and mobile ad hoc networks (MANET) share some key characteristics: selforganization and decentralization, and both need to solve the same fundamental p...
180
click to vote
ESIAT
2009
IEEE
15 years 4 months ago
2009
IEEE
Comparing with the rapidly increasing acquiring technology for remotely sensed data, the data processing technologies have been following behind, especially in computing speed and ...
121
click to vote
ACSD
2005
IEEE
15 years 12 months ago
2005
IEEE
Perfectly synchronous systems immediately react to the inputs of their environment, which may lead to so-called causality cycles between actions and their trigger conditions. Algo...
133
click to vote
ISAAC
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We define an algorithm for determining, in a linear number of symbolic steps, the biconnected components of a graph implicitly represented with Ordered Binary Decision D...
183
click to vote
UML
2000
Springer
15 years 9 months ago
2000
Springer
The UML's Object Constraint Language provides the modeller of object-oriented systems with ways to express the semantics of a model in a precise and declarative manner. The co...