431 search results - page 81 / 87 » Using Formal Methods to Reason about Architectural Standards |
111
click to vote
OOPSLA
2005
Springer
15 years 5 months ago
2005
Springer
is a simple and elegant abstraction that allows concurrency to be expressed often through a relatively small rewrite of a sequential program. In the absence of side-effects, futur...
AI
2003
Springer
15 years 4 months ago
2003
Springer
Private information about individuals that engage in e-commerce business transactions is of economic value to businesses for market analysis and for identifying possible future par...
118
click to vote
EUROCRYPT
2009
Springer
16 years 6 days ago
2009
Springer
Abstract. The Joint Sparse Form is currently the standard representation system to perform multi-scalar multiplications of the form [n]P + m[Q]. We introduce the concept of Joint D...
101
click to vote
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
There are many methodological approaches for Agent-Oriented Software Engineering, each one focusing on some features of multi-agent systems, but leaving others underdefined. For t...
106
click to vote
IJCAI
1989
15 years 24 days ago
1989
In a recent paper, Ginsberg shows how a backward-chaining ATMS can be used to construct a theorem prover for circumscription. Here, this work is extended to handle prioritized cir...