4209 search results - page 548 / 842 » Software Change and Evolution |
186
click to vote
B
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
157
click to vote
ECTEL
2007
Springer
16 years 26 days ago
2007
Springer
Today, systems should react based on explicit demands from the learner or even proactively react based on changes in the working environment. The success of this type of systems de...
231
click to vote
TRUSTBUS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. In this paper we propose a security architecture and mechanism for Virtual Organizations (VO) for businesses. The VOs we consider are based on web service technology to a...
158
click to vote
WER
2007
Springer
16 years 24 days ago
2007
Springer
Compliance with privacy legislation is a primary concern for health care institutions that are building information systems support for their business processes. This paper descri...
198
click to vote
COMPSAC
2006
IEEE
16 years 23 days ago
2006
IEEE
—This paper describes a biologically-inspired network architecture, called SymbioticSphere, which allows large-scale data centers to autonomously adapt to dynamic environmental c...