1366 search results - page 215 / 274 » Modularizing Contexted Constraints |
HICSS
2005
IEEE
15 years 8 months ago
2005
IEEE
Web services offer a number of valuable features towards supporting the development of open distributed systems, built out of the composition of autonomous services. Nonetheless, ...
117
click to vote
ITCC
2005
IEEE
15 years 8 months ago
2005
IEEE
Design patterns document good design solutions to a recurring problem in a particular context. They are typically modeled using UML. In practice, however, pattern-related informat...
112
click to vote
ANCS
2005
ACM
15 years 8 months ago
2005
ACM
Network processors (NPs) promise a flexible, programmable packet processing infrastructure for network systems. To make full use of the capabilities of network processors, it is ...
131
Voted
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
Many multi-agent systems consist of a complex network of autonomous yet interdependent agents. Examples of such networked multi-agent systems include supply chains and sensor netw...
BIRTHDAY
2005
Springer
15 years 8 months ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...