5630 search results - page 47 / 1126 » Computability in Specification |
COLING
2010
13 years 4 months ago
2010
The aim of this study is to use the word-space model to measure the semantic loads of single verbs, profile verbal lexicon acquisition, and explore the semantic information on Chi...
ICIW
2007
IEEE
14 years 4 months ago
2007
IEEE
Service-centric computing is developing and maturing rapidly as a paradigm for developing distributed systems. In recent years there has been a rapid growth in the number and type...
SCCC
1998
IEEE
14 years 2 months ago
1998
IEEE
Software architectural design is essential for complex distributed applications. Architectural specifications need to define the key aspects of the application, including its inte...
ICCS
2009
Springer
13 years 7 months ago
2009
Springer
Abstract. Discovering gene co-regulatory relationships is a new but important research problem in DNA microarray data analysis. The problem of gene specific co-regulation discovery...
BIRTHDAY
2007
Springer
14 years 1 months ago
2007
Springer
Well understood methods exist for developing programs from formal specifications. Not only do such methods offer a precise check that certain sorts of deviations from their specifi...