Sciweavers

2226 search results - page 172 / 446
» Pdk: The System and Its Language
Sort
View
WWW
2001
ACM
16 years 7 months ago
WebLQM : A Web Community Examiner
WebLQM is a system with capabilities to locate, query and mine web communities on the Internet. WebLQM has a special way to define the World Wide Web, its contents and relations. ...
Jesús Ubaldo Quevedo, Shou-Hsuan Stephen Hu...
HICSS
2005
IEEE
127views Biometrics» more  HICSS 2005»
16 years 2 days ago
Enterprise Architecture Analysis with XML
This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectur...
Frank S. de Boer, Marcello M. Bonsangue, Joost Jac...
MA
2000
Springer
125views Communications» more  MA 2000»
15 years 10 months ago
MobiDoc: A Framework for Building Mobile Compound Documents from Hierarchical Mobile Agents
MobiDoc is a framework for building mobile compound documents, where the compound document can be dynamically composed of mobile agents and can migrate itself over a network as a w...
Ichiro Satoh
WSCG
2001
83views more  WSCG 2001»
15 years 7 months ago
A Digital Teletext Service
Digital Teletext is one of the most important interactive services of emerging digital television. As an enhanced version of existing analogue Teletext service, it's a reside...
Chengyuan Peng, Petri Vuorimaa
ATVA
2005
Springer
130views Hardware» more  ATVA 2005»
16 years 14 hour ago
Approximate Reachability for Dead Code Elimination in Esterel
Esterel is an imperative synchronous programming language for the design of reactive systems. Esterel extends Esterel with a noninstantaneous jump instruction (compatible with conc...
Olivier Tardieu, Stephen A. Edwards