360 search results - page 56 / 72 » Scalable Analysis of Linear Systems Using Mathematical Progr... |
SIGSOFT
2006
ACM
14 years 9 months ago
2006
ACM
It is usually assumed that the implementation of exception handling can be better modularized by the use of aspectoriented programming (AOP). However, the trade-offs involved in u...
COOPIS
1998
IEEE
14 years 22 days ago
1998
IEEE
Cooperative Information Systems (CIS) often consist of applications that access shared resources such as databases. Since centralized systems may have a great impact on the system...
SCP
1998
13 years 8 months ago
1998
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...
KBSE
2005
IEEE
14 years 2 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
CIKM
2011
Springer
12 years 8 months ago
2011
Springer
Previous information extraction (IE) systems are typically organized as a pipeline architecture of separated stages which make independent local decisions. When the data grows bey...