15777 search results - page 2985 / 3156 » Software Engineering |
145
Voted
CADE
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. Polynomial constraint-solving plays a prominent role in several areas of engineering and software verification. In particular, polynomial constraint solving has a long an...
121
Voted
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
UML2 and SysML try to adopt techniques known from software development to systems engineering. However, the focus has been put on modeling aspects until now and quantitative perfo...
136
Voted
DSRT
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper describes a simple distributed simulation for support of emergency response exercises. The simulation, called the Immersive Synthetic Environment for Exercises (ISEE), ...
131
Voted
SIGDOC
2004
ACM
15 years 9 months ago
2004
ACM
The concept of thumbnails is common in image representation. A thumbnail is a highly compressed version of an image that provides a small, yet complete visual representation to th...
150
Voted
HT
1997
ACM
15 years 7 months ago
1997
ACM
Hypermedia concepts are currently being deployed in a variety of information systems such as the World Wide Web, software development environments, large engineering enterprises, ...