3429 search results - page 681 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
168
click to vote
ESORICS
2009
Springer
16 years 6 months ago
2009
Springer
Separation of Duty Constraints David Basin1 , Samuel J. Burri1,2 , and G?unter Karjoth2 1 ETH Zurich, Department of Computer Science, Switzerland 2 IBM Research, Zurich Research La...
188
click to vote
EDOC
2008
IEEE
16 years 8 days ago
2008
IEEE
Service providers as we know them nowadays are the always-on “static” web service providers, that aim at Five9 availability (99.999%). Formal, or de-facto, standards, such as ...
155
Voted
GEOS
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. A Wide-Area Sensor Network (WASN) is a collection of heterogeneous sensor networks and data repositories spread over a wide geographic area. The diversity of sensor types...
184
Voted
ICCV
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper presents a new algorithm for the automatic recognition of object classes from images (categorization). Compact and yet discriminative appearance-based object class mode...
186
click to vote
PASTE
2005
ACM
15 years 11 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...