SP
2002
IEEE
13 years 12 months ago
2002
IEEE
Software development is getting more and more complex, especially within distributed middleware-based environments. A major drawback during the overall software development proces...
STTT
1998
13 years 12 months ago
1998
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...
PC
1998
13 years 12 months ago
1998
In this paper, we present several tools for analyzing parallel programs. The tools are built on top of a compiler infrastructure, which provides advanced capabilities for symbolic...
INFSOF
2002
13 years 12 months ago
2002
Many tools designed to help programmers view and manipulate source code exploit the formal structure of the programming language. Language-based tools use information derived via ...
PRESENCE
2000
14 years 2 days ago
2000
We describe a tool enabling non-professionals to create digital layouts for large-scale graphical virtual environments. The design tool is based on "elements of the city imag...
EXPERT
2002
14 years 2 days ago
2002
er than abstracting human behavior as work processes or tasks--functional idealizations of the work to be accomplished--we model people's activities comprehensively and chrono...
INFSOF
2000
14 years 3 days ago
2000
Developing software engineering tools is a difficult task, and the environments in which these tools are deployed continually evolve as software developers' processes, tools ...
CSCW
2002
ACM
14 years 3 days ago
2002
ACM
In this paper, we first describe a formative empirical study to inform the design of CSCW tools to support idea finding in co-located groups. Groups of students worked on creative...
COR
2002
14 years 3 days ago
2002
The overall aim of this study is to show that there is a critical interface between the lot sizing and tool management decisions, and these two problems cannot be viewed in isolat...
CONCURRENCY
2004
2004
User transparency: a fully sequential programming model for efficient data parallel image processing
14 years 4 days ago
Although many image processing applications are ideally suited for parallel implementation, most researchers in imaging do not benefit from high performance computing on a daily b...