6343 search results - page 83 / 1269 » Development of a Cartographic Language |
119
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
The work we present here is mainly concerned with interagent communication, MAS communication protocols and, in particular, software tools and environments to define, experiment a...
170
click to vote
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
The Data Driven Design Optimization Methodology (DDDOM) is a Dynamic Data Driven Application System (DDDAS) developed for engineering design optimization. The DDDOM synergizes expe...
121
click to vote
PEPM
2004
ACM
15 years 9 months ago
2004
ACM
This paper presents a novel editor supporting interactive refinement in the development of structured documents. The user performs a sequence of editing operations on the documen...
125
click to vote
FM
2003
Springer
15 years 9 months ago
2003
Springer
This paper presents experiments on formal validation of Java applets. It describes a tool that has been developed at the Gemplus Research Labs. This tool allows to formally prove J...
116
click to vote
HCI
2007
15 years 5 months ago
2007
This paper describes a design and implementation of a new handheld user interface framework called HIVE. HIVE provides the familiar 2D user interface on a mobile handheld computer ...