1954 search results - page 235 / 391 » Improving Software Development Processes with Multicriteria ... |
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
Recent advances in coherent and convex demodulation have proven useful for analyzing and modifying the low-frequency envelope structure of speech. This paper reports the applicati...
95
Voted
TASE
2009
IEEE
15 years 4 months ago
2009
IEEE
The complex interactions appearing in service-oriented computing make coordination a key concern in serviceoriented systems. In this paper, we present a fault-based method to gene...
B
2007
Springer
15 years 4 months 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...
ASWEC
2006
IEEE
15 years 4 months ago
2006
IEEE
This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-th...
SOFSEM
2001
Springer
15 years 2 months ago
2001
Springer
Knowledge discovery, that is, to analyze a given massive data set and derive or discover some knowledge from it, has been becoming a quite important subject in several fields incl...