8196 search results - page 1200 / 1640 » Computational Modeling and Complexity Science |
165
click to vote
GI
2003
Springer
16 years 26 days ago
2003
Springer
Abstract: Die weite Verbreitung von mobilen Ger¨aten und die Entwicklung von mobilen Kommunikationstechnologien erm¨oglichen den Einsatz solcher Ger¨ate f¨ur Aufgaben, die ¨ub...
186
click to vote
ACSC
2002
IEEE
16 years 18 days ago
2002
IEEE
HyperScout, a Web application, is an intermediary between a server and a client. It intercepts a page to the client, gathers information on each link, and annotates each link with...
196
click to vote
STACS
1998
Springer
15 years 12 months ago
1998
Springer
d Abstract appeared in STACS `98) Joel H. Spencer1 and Katherine St. John2 1 Courant Institute, New York University, New York, NY 10012 2 Department of Mathematics, Santa Clara Uni...
189
click to vote
RTA
2010
Springer
15 years 11 months ago
2010
Springer
Data words and data trees appear in verification and XML processing. The term “data” means that positions of the word, or tree, are decorated with elements of an infinite set...
198
click to vote
ACSC
2004
IEEE
15 years 11 months ago
2004
IEEE
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...