2813 search results - page 391 / 563 » Formalizing Architectural Connection |
145
click to vote
ICRA
2007
IEEE
16 years 23 days ago
2007
IEEE
Abstract— In this paper, two problems related to the simulation of virtual environments for haptic systems are considered. The first problem is how to simulate, in discrete time...
139
click to vote
INFOCOM
2007
IEEE
16 years 23 days ago
2007
IEEE
— The topological properties of peer-to-peer overlay networks are critical factors that dominate the performance of these systems. Several non-constant and constant degree interc...
159
click to vote
SEFM
2007
IEEE
16 years 22 days ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
160
click to vote
ESORICS
2007
Springer
16 years 19 days ago
2007
Springer
Port knocking is a technique first introduced in the blackhat and trade literature to prevent attackers from discovering and exploiting potentially vulnerable services on a networ...
158
click to vote
ESWS
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Creating a coherent set of ontologies to support a collaborative design process amongst different firms which develop mechatronic products is a challenge due to the seman...