Sciweavers

1551 search results - page 23 / 311
» How Typical is the
Sort
View
ATAL
2005
Springer
14 years 26 days ago
Temporal logics for normative agent communication protocols
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...
Ulle Endriss
SIGMOD
2009
ACM
150views Database» more  SIGMOD 2009»
14 years 7 months ago
DBDOC: querying and browsing databases and interrelated documents
Large collections of documents are commonly created around a database, where a typical database schema may contain hundreds of tables and thousands of columns. We developed a syst...
Carlos Garcia-Alvarado, Carlos Ordonez, Zhibo Chen...
APSEC
2003
IEEE
14 years 21 days ago
An Extensible Framework for Collaborative Software Engineering
The size, complexity and duration of typical software engineering projects means that teams of developers will work on them. However, with the exception of version control systems...
Carl Cook, Neville Churcher
PUC
2010
128views more  PUC 2010»
13 years 5 months ago
Interaction with large ubiquitous displays using camera-equipped mobile phones
Abstract In the ubiquitous computing environment, people will interact with everyday objects (or computers embedded in them) in ways different from the usual and familiar desktop u...
Seokhee Jeon, Jane Hwang, Gerard Jounghyun Kim, Ma...
PAM
2012
Springer
12 years 3 months ago
A Longitudinal Characterization of Local and Global BitTorrent Workload Dynamics
Abstract. Workload characterization is important for understanding how systems and services are used in practice and to help identify design improvements. To better understand the ...
Niklas Carlsson, György Dán, Anirban M...