854 search results - page 99 / 171 » Addressing Dynamic Issues of Program Model Checking |
111
click to vote
ESWS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Automated modeling of appropriate and valid document descriptions is a central issue for the benefit and success of an ontologybased personal document management system. ...
146
click to vote
IEEEARES
2009
IEEE
15 years 7 days ago
2009
IEEE
Security is a crucial issue in many modern software systems and can lead to immense costs if required security goals are not fulfilled. Fewer techniques exist to address the syste...
112
click to vote
ICTAI
2008
IEEE
15 years 9 months ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
127
Voted
IEEEPACT
2005
IEEE
15 years 8 months ago
2005
IEEE
Global address space languages like UPC exhibit high performance and portability on a broad class of shared and distributed memory parallel architectures. The most scalable applic...
142
click to vote
ICPP
1995
IEEE
15 years 6 months ago
1995
IEEE
Interactive program steering permits researchers to monitor and guide their applications during runtime. Interactive steering can help make end users more effective in addressing ...