416 search results - page 13 / 84 » Intellectual Property and Open Systems |
PODC
1994
ACM
13 years 11 months ago
1994
ACM
We describe a method for writing assumption/guarantee specifications of concurrent systems. We also provide a proof rule for reasoning about the composition of these systems. Spec...
EUROCRYPT
2004
Springer
14 years 23 days ago
2004
Springer
Informally, an obfuscator O is an efficient, probabilistic “compiler” that transforms a program P into a new program O(P) with the same functionality as P, but such that O(P)...
PERCOM
2006
ACM
14 years 7 months ago
2006
ACM
This paper investigates fundamental properties of Marker-based Vision (MBV) systems. We present a theoretical analysis of the performance of basic tag designs which is extended th...
ETFA
2008
IEEE
13 years 9 months ago
2008
IEEE
In this paper we discuss the separation between attributes on functionality and on structure following an approach based on Model Driven Engineering (MDE). We adopt a methodologic...
IADIS
2004
13 years 8 months ago
2004
All around of people live in the age based on information and knowledge in recent period. It is WWW/Internet technology that provides efficiency and power, which can lead the new ...