Sciweavers

BIRTHDAY
2005
Springer
13 years 10 months ago
Bridging Theorem Proving and Mathematical Knowledge Retrieval
Christoph Benzmüller, Andreas Meier, Volker S...
BIRTHDAY
2005
Springer
13 years 10 months ago
An Essay on Sabotage and Obstruction
Johan van Benthem
ATC
2006
Springer
13 years 10 months ago
Managing Trust in Distributed Agent Systems
Abstract. Software agent technology has attracted much attention for developing various distributed systems, composed of autonomous agents interacting with one another using partic...
Stephen S. Yau
BIRTHDAY
2005
Springer
13 years 10 months ago
Modelling Evolvable Systems: A Temporal Logic View
Howard Barringer, David E. Rydeheard
BIRTHDAY
2005
Springer
13 years 10 months ago
From Graph Transformation to Software Engineering and Back
Software engineers usually represent problems and solutions aph-based notations at different levels of abstractions. These notations are often semi-formal, but the use of graph tr...
Luciano Baresi, Mauro Pezzè
ATC
2006
Springer
13 years 10 months ago
Autonomic and Trusted Computing Paradigms
The emerging autonomic computing technology has been hailed by world-wide researchers and professionals in academia and industry. Besides four key capabilities, well known as self-...
Xiaolin Li, Hui Kang, Patrick Harrington, Johnson ...
EICS
2010
ACM
13 years 10 months ago
UI generation from task, domain and user models: the DB-USE approach
Information Systems UI (User Interface) generation from declarative models has been the focus of numerous and various approaches in the human computer interaction community. Typic...
Vi Tran
EICS
2010
ACM
13 years 10 months ago
The triad-based design of rich user interfaces for internet applications
Current trends in web development still are attached to the web page paradigm. Nevertheless, new uses of already available technology and recent development in terms of concepts, ...
Francisco Javier Martínez-Ruiz
APSCC
2006
IEEE
13 years 10 months ago
GlobalWatch: A Distributed Service Grid Monitoring Platform with High Flexibility and Usability
GlobalWatch is a distributed platform to monitor various resources of grid platforms so as to improve the flexibility and usability of grid systems. In order to enhance the flexib...
Sheng Di, Hai Jin, Shengli Li, Ling Chen, Chengwei...