586 search results - page 87 / 118 » Witnessing side effects |
ESWS
2006
Springer
15 years 1 months ago
2006
Springer
Functional descriptions are a central pillar of Semantic Web services. Disregarding details on how to invoke and consume the service, they shall provide a black box description for...
117
click to vote
ECOOP
1991
Springer
15 years 1 months ago
1991
Springer
: Polymorphic inline caches (PICs) provide a new way to reduce the overhead of polymorphic message sends by extending inline caches to include more than one cached lookup result pe...
ASM
2010
ASM
15 years 1 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
SPIEVIP
2010
15 years 5 days ago
2010
This paper reports on a new technique for unconstrained license plate detection in a surveillance context. The proposed algorithm quickly finds license plates by performing the fo...
ACMSE
2008
ACM
14 years 11 months ago
2008
ACM
This paper describes the use of a tactile display, the Vibratactile Glove, which provides a wheelchair user who has severe visual impairment with essential information to operate ...