Sciweavers

2010 search results - page 261 / 402
» An analysis of research in computing disciplines
Sort
View
ATVA
2006
Springer
131views Hardware» more  ATVA 2006»
15 years 10 months ago
Timed Unfoldings for Networks of Timed Automata
Whereas partial order methods have proved their efficiency for the analysis of discrete-event systems, their application to timed systems remains a challenging research topic. Here...
Patricia Bouyer, Serge Haddad, Pierre-Alain Reynie...
ATAL
2008
Springer
15 years 8 months ago
Structure in threes: modelling organization-oriented software architectures built upon multi-agent systems
Software systems are subject to increasing complexity and in need of efficient structuring. Multi-agent system research has come up with approaches for an organization-oriented co...
Matthias Wester-Ebbinghaus, Daniel Moldt
DOCENG
2008
ACM
15 years 8 months ago
A concise XML binding framework facilitates practical object-oriented document engineering
Semantic web researchers tend to assume that XML Schema and OWL-S are the correct means for representing the types, structure, and semantics of XML data used for documents and int...
Andruid Kerne, Zachary O. Toups, Blake Dworaczyk, ...
AVI
2004
15 years 7 months ago
Display space usage and window management operation comparisons between single monitor and multiple monitor users
The continuing trend toward greater processing power, larger storage, and in particular increased display surface by using multiple monitor supports increased multi-tasking by the...
Dugald Ralph Hutchings, Greg Smith, Brian Meyers, ...
IADIS
2004
15 years 7 months ago
Internet diffusion in the non profit sector in Italy
This paper analyzes Internet diffusion among organizations, based on daily observation of the registration of second level domain names under the ".it" ccTLD. In particu...
Maurizio Martinelli, Irma Serrecchia, Michela Serr...