5255 search results - page 659 / 1051 » Formal Methods for Privacy |
204
click to vote
TAICPART
2006
IEEE
16 years 25 days ago
2006
IEEE
Testing compositions of web services is complex, due to their distributed nature and asynchronous behaviour. However, research in this field is scarce. We propose a new testing me...
165
click to vote
GIR
2006
ACM
16 years 24 days ago
2006
ACM
Vague spatial information such as “x is located at walking distance of y” is abundant on the web. In this contribution, we propose a framework to represent such spatial inform...
184
click to vote
ICECCS
2005
IEEE
16 years 13 days ago
2005
IEEE
SOFL is a formal language and method for software system analysis, specification and design and it fully supports structured techniques and object-oriented techniques. AOP (Aspect...
160
Voted
ISCAS
2005
IEEE
16 years 13 days ago
2005
IEEE
—This paper deals with the Space Mapping (SM) approach to engineering design optimization. We attempt here a theoretical justification of methods that have already proven efficie...
159
click to vote
MEMOCODE
2005
IEEE
16 years 12 days ago
2005
IEEE
In principle, bounded model checking (BMC) leads to semidecision procedures that can be used to verify liveness properties and to falsify safety properties. If the procedures fail...