1579 search results - page 283 / 316 » A software development process supporting non-functional pro... |
170
click to vote
ZUM
1997
Springer
15 years 8 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
158
click to vote
NIPS
2004
15 years 5 months ago
2004
We use unsupervised probabilistic machine learning ideas to try to explain the kinds of learning observed in real neurons, the goal being to connect abstract principles of self-or...
140
click to vote
EUROSYS
2006
ACM
15 years 10 months ago
2006
ACM
K42 is one of the few recent research projects that is examining operating system design structure issues in the context of new whole-system design. K42 is open source and was des...
136
click to vote
DAC
2007
ACM
16 years 5 months ago
2007
ACM
Processing and storage of confidential or critical information is an every day occurrence in computing systems. The trustworthiness of computing devices has become an important co...
148
click to vote
SAC
2004
ACM
15 years 9 months ago
2004
ACM
In this paper we present an approach for developing adaptable software applications. The problem we are facing is that of a (possibly mobile) user who wants to download and execut...