27274 search results - page 5453 / 5455 » A framework for framework documentation |
ASIAN
2005
Springer
14 years 5 days ago
2005
Springer
The service discovery is a key step during Peer-to-Peer (P2P) converging with Web Service. In this paper, a semantic-P2P based approach is presented for web service discovery. To e...
SIGUCCS
2003
ACM
13 years 12 months ago
2003
ACM
Legacy network file services such as NFS, SMB/CIFS, and AFP changed the way we worked. File services running on crossplatform networks allowed us to save our files on remote syste...
CC
2003
Springer
13 years 12 months ago
2003
Springer
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...
CAV
2010
Springer
13 years 10 months ago
2010
Springer
Graded-CTL is an extension of CTL with graded quantifiers which allow to reason about either at least or all but any number of possible futures. In this paper we show an extension...
SE
2007
13 years 8 months ago
2007
: Wiederverwendung ist in der Softwareentwicklung ein großes Thema. Auch für die Entwicklung von Generatoren für die modellgetriebene Softwareentwicklung und den Einsatz von Mod...