1969 search results - page 187 / 394 » Pattern Languages in Interaction Design |
140
Voted
EDBT
2008
ACM
16 years 3 months ago
2008
ACM
There has been much recent interest in on-line data mining. Existing mining algorithms designed for stored data are either not applicable or not effective on data streams, where r...
120
Voted
ICWS
2009
IEEE
16 years 22 days ago
2009
IEEE
ite Web service designed based on abstract Web services, which define only interfaces, allows an application developer to select services required for his application only by set...
112
Voted
ASPLOS
2000
ACM
15 years 8 months ago
2000
ACM
OceanStore is a utility infrastructure designed to span the globe and provide continuous access to persistent information. Since this infrastructure is comprised of untrusted serv...
120
Voted
SPIN
1999
Springer
15 years 7 months ago
1999
Springer
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...
185
Voted
LPAR
2012
Springer
13 years 11 months ago
2012
Springer
We motivate and introduce a query language PrQL designed for inspecting machine representations of proofs. PrQL natively supports hiproofs which express proof structure using hiera...