15888 search results - page 2874 / 3178 » Supporting human-intensive systems |
155
click to vote
COMPSAC
2009
IEEE
15 years 5 months ago
2009
IEEE
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...
194
click to vote
GG
2010
Springer
15 years 5 months ago
2010
Springer
Model-driven development (MDD) has become a promising trend in software engineering. The model-driven development of highly complex software systems may lead to large models which ...
144
click to vote
DAGSTUHL
2009
15 years 5 months ago
2009
Abstract. Software must be constantly adapted to changing requirehe time scale, abstraction level and granularity of adaptations may vary from short-term, fine-grained adaptation t...
149
click to vote
DBSEC
2009
15 years 5 months ago
2009
Abstract. We present a new access control mechanism for P2P networks with distributed enforcement, called P2P Access Control System (PACS). PACS enforces powerful access control mo...
138
click to vote
ECMDAFA
2008
Springer
15 years 5 months ago
2008
Springer
In requirements engineering, there are several approaches for requirements modeling such as goal-oriented, aspect-driven, and system requirements modeling. In practice, companies o...