2004 search results - page 45 / 401 » Comparison of Model Checking Tools for Information Systems |
100
click to vote
HICSS
2008
IEEE
15 years 6 months ago
2008
IEEE
Object-oriented analysis suggests semiformal usecase driven techniques for problem domain modeling from a computation independent viewpoint. The proposed approach called Topologic...
102
click to vote
JDCTA
2008
14 years 11 months ago
2008
The Information Technology (IT) governance arrangements refer to the patterns of authority for key IT activities in organizations, including IT infrastructure, IT use, and project...
101
click to vote
COMPSAC
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract...
SIGSOFT
2007
ACM
16 years 16 days ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
ICASSP
2010
IEEE
14 years 10 months ago
2010
IEEE
Prosodic information has been successfully used for speaker recognition for more than a decade. The best-performing prosodic system to date has been one based on features extracte...