1860 search results - page 59 / 372 » tools 2009 |
HICSS
2009
IEEE
14 years 4 months ago
2009
IEEE
The challenges driven by multi-culture, multidiscipline stakeholders collaborating in a rapidly changing global environment necessitates an easily approachable mechanism for negot...
ICANNGA
2009
Springer
14 years 4 months ago
2009
Springer
Modern process and condition monitoring systems produce a huge amount of data which is hard to analyze manually. Previous analyzing techniques disregard time information and concen...
CSEE
2009
Springer
14 years 4 months ago
2009
Springer
At University of Southern California (USC), CSCI577ab is a graduate software engineering course that teaches best software engineering practices and allows students to apply the l...
CADE
2009
Springer
14 years 10 months ago
2009
Springer
Current techniques and tools for automated termination analysis of term rewrite systems (TRSs) are already very powerful. However, they fail for algorithms whose termination is ess...
APN
2009
Springer
14 years 4 months ago
2009
Springer
The ASCoVeCo State space Analysis Platform (ASAP) is a tool for performing explicit state space analysis of coloured Petri nets (CPNs) and other formalisms. ASAP supports a wide ra...