2935 search results - page 295 / 587 » An Integrated Approach to High Integrity Software Verificati... |
142
click to vote
HICSS
2006
IEEE
16 years 19 days ago
2006
IEEE
Large enterprises in application domains such as finance, banking, travel services, and hospital management use business processes for their day-to-day business. An integral part ...
174
click to vote
INTERACT
2003
15 years 8 months ago
2003
: This system paper reports on some of the advantages tangible interaction can bring to chemistry education. The paper describes how we realized a Tangible User Interface (TUI) cal...
214
click to vote
SCS
2003
15 years 8 months ago
2003
The development of safety critical systems is guided by standards. Many standards require the development of a safety case to demonstrate the acceptability of Safety Critical Syst...
185
click to vote
DS
1997
15 years 8 months ago
1997
Determining attribute correspondences is a difficult, time-consuming, knowledge-intensive part of database integration. We report on experiences with tools that identified candi...
153
click to vote
ICSM
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper provides an experience report on the use of aspect-oriented technology as a means to modularize the implementation of business rules in an object-oriented, large scale ...