1366 search results - page 91 / 274 » Modularizing Contexted Constraints |
108
click to vote
AOSD
2011
ACM
14 years 6 months ago
2011
ACM
Aspect-oriented refactoring is a promising technique for improving modularity and reducing complexity of existing software systems through encapsulating crosscutting concerns. As ...
103
click to vote
RTSS
2000
IEEE
15 years 2 months ago
2000
IEEE
Many industrial applications with real-time demands are composed of mixed sets of tasks with a variety of requirements. These can be in the form of standard timing constraints, su...
KCAP
2005
ACM
15 years 4 months ago
2005
ACM
The Designers’ Workbench is a system, developed by the Advanced Knowledge Technologies (AKT) consortium to support designers in large organizations, such as RollsRoyce, by makin...
107
click to vote
CP
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. This paper considers the automatic generation of architectural tests (ATGP), a fundamental problem in processor validation. ATGPs are complex conditional constraint satis...
ATAL
2010
Springer
15 years 11 days ago
2010
Springer
An organizational modeling language can be used to specify an agent organization in terms of its roles, organizational structure, norms, etc. Such an organizational specification ...