1782 search results - page 87 / 357 » Tool Support for Proof Engineering |
147
click to vote
BPM
2007
Springer
15 years 11 months ago
2007
Springer
Contemporary business process simulation environments are geared towards design-time analysis, rather than operational decision support over already deployed and running processes....
279
click to vote
COGSR
2010
15 years 17 days ago
2010
Ontologies, as knowledge engineering tools, allow information to be modelled in ways resembling to those used by the human brain, and may be very useful in the context of personal...
143
Voted
OHS
2001
Springer
15 years 10 months ago
2001
Springer
Software engineers face a difficult task in managing the many different types of relationships that exist between the documents of a software development project. We refer to this...
149
Voted
COMPSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
The objective of research support systems (RSS) is to support and improve research, which may be viewed as a counterpart of decision support systems (DSS) for scientists. Web-base...
137
Voted
XPU
2009
Springer
16 years 5 days ago
2009
Springer
Digital tabletop is an emerging technology that is being increasingly used to support group activities. Agile Planner for Digital Tabletops (APDT) is a tool that was built to suppo...