7080 search results - page 1222 / 1416 » Designing High Integrity Systems Using Aspects |
172
click to vote
SIGUCCS
2003
ACM
16 years 10 days ago
2003
ACM
This paper intends to present the challenges and opportunities encountered in technology training at small institutions using Trinity University as a case in point. During the cou...
207
click to vote
WIDM
2003
ACM
16 years 10 days ago
2003
ACM
The advent of e-commerce has created a trend that brought thousands of catalogs online. Most of these websites are “taxonomy-directed”. A Web site is said to be ``taxonomydire...
261
Voted
HPTS
1993
15 years 11 months ago
1993
Elements of transaction processing become more and more accepted as a base for general purpose distributed computing.We have developed an action concept with an extended functiona...
253
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Web services (WS) received significant attention recently because services can be searched, bound, and executed at runtime over the Internet. This paper proposes a dynamic reconfi...
212
click to vote
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
Ario is a solver for systems of linear integer arithmetic logic. Such systems are commonly used in design verification applications and are classified under Satisfiability Modulo T...