10072 search results - page 1376 / 2015 » Composition of Model Programs |
198
Voted
HICSS
2005
IEEE
16 years 1 months ago
2005
IEEE
1 On the Internet, digitally active small and medium sized enterprises (SME) face numerous security risks. When SMEs join networks, business ideas and malicious activities may inte...
192
click to vote
CP
2005
Springer
16 years 29 days ago
2005
Springer
Many problems of theoretical and practical interest can be formulated as Constraint Satisfaction Problems (CSPs). The general CSP is known to be NP-complete; however, distributed m...
205
click to vote
EMSOFT
2005
Springer
16 years 29 days ago
2005
Springer
systems are commonly abstracted as collections of interacting components. This perspective has lead to the insight that component behaviors can be defined separately from admissi...
168
Voted
ICALP
2005
Springer
16 years 28 days ago
2005
Springer
We define an algorithmic paradigm, the stack model, that captures many primal-dual and local-ratio algorithms for approximating covering and packing problems. The stack model is ...
198
Voted
ICTAC
2005
Springer
16 years 28 days ago
2005
Springer
Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally ...