5451 search results - page 164 / 1091 » Typed Operational Semantics |
106
click to vote
ICDCS
2009
IEEE
16 years 27 days ago
2009
IEEE
A Commutative Replicated Data Type (CRDT) is one where all concurrent operations commute. The replicas of a CRDT converge automatically, without complex concurrency control. This ...
121
click to vote
ISVLSI
2008
IEEE
15 years 10 months ago
2008
IEEE
A new hybrid CMOS-nanoscale circuit style has been developed that uses only one type of Field Effect Transistor (FET) in the logic portions of a design. This is enabled by CMOS pro...
102
click to vote
XIMEP
2004
ACM
15 years 9 months ago
2004
ACM
We argue that efficient support for schema validation and type annotation in XQuery processors deserves as much attention as efficient evaluation techniques for XPath queries have...
106
Voted
HCI
2007
15 years 5 months ago
2007
In this paper, we focus on the method to explore a different type of auditory progress bar by analyzing the characteristics of the visual progress bar and contexts of auditory appl...
119
Voted
IFIP12
2008
15 years 5 months ago
2008
In this article we describe the joint effort of experts in linguistics, information extraction and risk assessment to integrate EventSpotter, an automatic event extraction engine, ...