1481 search results - page 241 / 297 » Enriching the Software Development Process by Formal Methods |
103
click to vote
ICSE
1997
IEEE-ACM
15 years 4 months ago
1997
IEEE-ACM
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...
IUI
2010
ACM
15 years 8 months ago
2010
ACM
Aspect-level news browsing provides readers with a classified view of news articles with different viewpoints. It facilitates active interactions with which readers easily discove...
RTAS
2009
IEEE
15 years 6 months ago
2009
IEEE
—Software instrumentation is a key technique in many stages of the development process. It is of particular importance for debugging embedded systems. Instrumented programs produ...
EWSA
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-fu...
110
click to vote
BMCBI
2008
14 years 12 months ago
2008
Background: Modern omics research involves the application of high-throughput technologies that generate vast volumes of data. These data need to be pre-processed, analyzed and in...