3971 search results - page 180 / 795 » On the Use of Properties in Java Applications |
163
click to vote
ICOST
2007
Springer
16 years 17 days ago
2007
Springer
This paper formalizes three kinds of safety to be satisfied by networked appliances and services in the emerging home network system (HNS). The local safety is defined by safety ...
160
click to vote
ISAS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model base...
194
click to vote
SENSYS
2009
ACM
16 years 1 months ago
2009
ACM
The programming and retasking of sensor nodes could benefit greatly from the use of a virtual machine (VM) since byte code is compact, can be loaded on demand, and interpreted on...
176
click to vote
ICUMT
2009
15 years 4 months ago
2009
Digital distribution is becoming an increasingly important method within the games industry. The leading consoles each possess their own bespoke platform to digitally deploy games ...
167
click to vote
ISPDC
2005
IEEE
16 years 14 hour ago
2005
IEEE
Distributed or parallel rule-based systems are currently needed for real applications. The proposed architecture of such a system is based on a wrapper allowing the cooperation bet...