Sciweavers

1661 search results - page 191 / 333
» Real-time specification patterns
Sort
View
HPCA
2005
IEEE
15 years 7 months ago
Enterprise IT Trends and Implications for Architecture Research
The last decade has seen several changes in the structure and emphasis of enterprise IT systems. Specific infrastructure trends have included the emergence of large consolidated d...
Parthasarathy Ranganathan, Norman P. Jouppi
127
Voted
HICSS
2002
IEEE
105views Biometrics» more  HICSS 2002»
15 years 6 months ago
Towards a Tool Support for a Living Software Development Process
Change and evolution of business and technology imply change and evolution of development processes. Besides that for a certain enterprise or a project we will usually integrate e...
Michael Gnatz, Frank Marschall, Gerhard Popp, Andr...
CIKM
2000
Springer
15 years 6 months ago
Retrieving Descriptive Phrases from Large Amounts of Free Text
This paper presents a system that retrieves descriptive phrases of proper nouns from free text. Sentences holding the specified noun are ranked using a technique based on pattern ...
Hideo Joho, Mark Sanderson
123
Voted
BIOCOMP
2008
15 years 3 months ago
Bioinformatics Tools: Searching for Markers in DNA/RNA Sequences
Research in bioinformatics and computational biology relies heavily on algorithms that facilitate the understanding of biological processes through the application of statistical ...
Kuha Mahalingam, Omar Bagasra
129
Voted
ACTA
2005
104views more  ACTA 2005»
15 years 1 months ago
Subtyping for session types in the pi calculus
Extending the pi calculus with the session types proposed by Honda et al. allows high-level specifications of structured patterns of communication, such as client-server protocols,...
Simon J. Gay, Malcolm Hole