Sciweavers

6982 search results - page 1309 / 1397
» Collaboration
Sort
View
MIDDLEWARE
2005
Springer
15 years 7 months ago
An aspect-oriented ambient intelligence middleware platform
Currently, the interest in Ambient Intelligence (or AmI) has increased exponentially due to the widespread use of portable devices. Users demand more and more functionality from t...
Lidia Fuentes, Daniel Jiménez
SEMWEB
2005
Springer
15 years 7 months ago
Piggy Bank: Experience the Semantic Web Inside Your Web Browser
The Semantic Web Initiative envisions a Web wherein information is offered free of presentation, allowing more effective exchange and mixing across web sites and across web pages. ...
David Huynh, Stefano Mazzocchi, David R. Karger
132
Voted
UML
2005
Springer
15 years 7 months ago
Enhancement of Development Technologies for Agent-Based Software Engineering
Abstract. Current trends in software development show a move towards supporting autonomous components (agents). The accurate timing of interactions between such components is growi...
Andre Karpistsenko
VSTTE
2005
Springer
15 years 7 months ago
It Is Time to Mechanize Programming Language Metatheory
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
Benjamin C. Pierce, Peter Sewell, Stephanie Weiric...
WLP
2005
Springer
15 years 7 months ago
Meta-S - Combining Solver Cooperation and Programming Languages
Abstract. Meta-S is a constraint solver cooperation system which allows the dynamic integration of arbitrary external (stand-alone) solvers and their combination with declarative l...
Stephan Frank, Petra Hofstedt, Dirk Reckmann
« Prev « First page 1309 / 1397 Last » Next »