7080 search results - page 1222 / 1416 » Designing High Integrity Systems Using Aspects |
122
click to vote
SIGUCCS
2003
ACM
15 years 8 months 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...
134
Voted
WIDM
2003
ACM
15 years 8 months 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...
184
click to vote
HPTS
1993
15 years 7 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...
192
Voted
COMPSAC
2004
IEEE
15 years 7 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...
149
Voted
FMCAD
2006
Springer
15 years 7 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...