Sciweavers

5353 search results - page 684 / 1071
» Modelling Contexts in the Or-BAC Model
Sort
View
134
Voted
WWW
2008
ACM
16 years 8 months ago
Compoweb: a component-oriented web architecture
In this paper, client-site Web mashups are studied from component-oriented perspective, and CompoWeb, a componentoriented Web architecture, is proposed. In CompoWeb, a Web applica...
Rui Guo, Bin B. Zhu, Min Feng 0002, Aimin Pan, Bos...
197
Voted
COORDINATION
2009
Springer
16 years 8 months ago
Assume-Guarantee Verification of Concurrent Systems
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
Liliana D'Errico, Michele Loreti
CHI
2008
ACM
16 years 8 months ago
Automatic whiteout++: correcting mini-QWERTY typing errors using keypress timing
By analyzing features of users' typing, Automatic Whiteout++ detects and corrects up to 32.37% of the errors made by typists while using a mini?QWERTY (RIM Blackberry style) ...
James Clawson, Kent Lyons, Alex Rudnick, Robert A....
208
Voted
DCC
2002
IEEE
16 years 7 months ago
Optimized Edgebreaker Encoding for Large and Regular Triangle Meshes
We present a technique designed aiming to improve the compression of the Edgebreaker CLERS string for large and regular meshes, where regularity is understood as the compactness o...
Andrzej Szymczak
249
Voted
IUI
2009
ACM
16 years 4 months ago
Designing user interface adaptation rules with T: XML
The specification of model adaptation and generation rules is a topic of great interest for the user interface development community, since there are more and more approaches supp...
Víctor López-Jaquero, Francisco Mont...