7366 search results - page 687 / 1474 » Development of the Information Systems Implementation Resear... |
219
click to vote
ICML
2010
IEEE
15 years 8 months ago
2010
IEEE
Surprisingly, console logs rarely help operators detect problems in large-scale datacenter services, for they often consist of the voluminous intermixing of messages from many sof...
159
click to vote
CLEIEJ
2010
15 years 4 months ago
2010
Component-based software development needs to formalize a process of generation, evaluation and selection of Composite COTS-based Software Systems (CCSS), enabling software archit...
200
click to vote
FM
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
194
click to vote
SAFECOMP
2005
Springer
16 years 20 days ago
2005
Springer
This paper describes the results of a research study sponsored by the UK nuclear industry into methods of justifying smart sensors. Smart sensors are increasingly being used in the...
196
click to vote
KCAP
2003
ACM
16 years 13 days ago
2003
ACM
Because it is difficult to engineer a complex ontology with time, we here consider a method that allows for factorizing the complexity of the engineering process, FONTE (Factoriz...