2688 search results - page 384 / 538 » A formal semantics for P3P |
154
click to vote
APSEC
2005
IEEE
16 years 4 days ago
2005
IEEE
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...
165
click to vote
FMCO
2005
Springer
16 years 1 days ago
2005
Springer
babilistic Chemical Abstract Machine and the Expressiveness of Linda Languages Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, Universi...
137
click to vote
GECCO
2005
Springer
16 years 1 days ago
2005
Springer
We sketch a framework for learning structured coordinated behavior, specifically the tactical behavior of Experimental Unmanned Vehicles (XUVs). We conceptualize an XUV unit as a ...
159
click to vote
OTM
2005
Springer
16 years 14 hour ago
2005
Springer
Abstract. QoS-based service selection mechanisms will play an essential role in service-oriented architectures, as e-Business applications want to use services that most accurately...
157
click to vote
PPDP
2005
Springer
16 years 12 hour ago
2005
Springer
Huet and Lang (1978) presented a framework of automated program transformation based on lambda calculus in which programs are transformed according to a given program transformati...