3799 search results - page 362 / 760 » An Engineering Approach to Formal Methods |
207
click to vote
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...
201
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Semantic Web is regarded as the next generation of the World Wide Web. It provides not only the structure of the web but also meaningful semantics for the information presented. T...
210
click to vote
AOSD
2008
ACM
15 years 8 months ago
2008
ACM
AspectJ was designed as a seamless aspect-oriented extension of the Java programming language. However, unlike Java, AspectJ does not have a safe type system: an accepted binding ...
205
click to vote
TKDE
2012
13 years 9 months ago
2012
—Many data mining techniques have been proposed for mining useful patterns in text documents. However, how to effectively use and update discovered patterns is still an open rese...
191
click to vote
JMLR
2010
2010
Predicting the functions of proteins in Protein-Protein Interaction networks from global information
15 years 1 months ago
In this work we present a novel approach to predict the function of proteins in protein-protein interaction (PPI) networks. We classify existing approaches into inductive and tran...