2024 search results - page 107 / 405 » The Meaning of Ordered SOS |
122
Voted
DIAGRAMS
2010
Springer
15 years 2 months ago
2010
Springer
Creating and editing graphs and node-link diagrams by means of digital tools are crucial activities in domains such as software or business process modeling. However, these tools h...
115
click to vote
CSSE
2008
IEEE
15 years 2 months ago
2008
IEEE
: The traditional transportation information inquiry mainly uses key words based on the text, and the service the inquiry system provided is onefold and only aims at one transporti...
101
click to vote
EDOC
2008
IEEE
15 years 2 months ago
2008
IEEE
The service-oriented architectural style is widely perceived today. However, service orientation is a very general concept and its application in real-life situations is somewhat ...
FLOPS
2008
Springer
15 years 2 months ago
2008
Springer
In this paper, we present an extension of the scheme HH(C) (Hereditary Harrop formulas with Constraints) with a suitable formulation of negation in order to obtain a constraint ded...
144
click to vote
MBEES
2007
15 years 2 months ago
2007
: The development of embedded systems is a challenging task because of the distributed, reactive and real-time nature of such systems. Distribution of embedded components across bu...