Sciweavers

2672 search results - page 402 / 535
» Hybridizing Concept Languages
Sort
View
135
Voted
DOCENG
2010
ACM
15 years 2 months ago
Semantics-enriched document exchange
In e-business development, semantics-oriented document exchange is becoming important, because it can support crossdomain user connection, business transaction and collaboration. ...
Jingzhi Guo, Ming Sang Ho
177
Voted
PROCEDIA
2010
281views more  PROCEDIA 2010»
15 years 2 months ago
Introductory computational science using MATLAB and image processing
We describe a new course designed to introduce engineering students to computational thinking. One of the most significant challenges in teaching an introductory-level applied co...
D. Brian Larkins, William Harvey
125
Voted
VIROLOGY
2010
113views more  VIROLOGY 2010»
15 years 2 months ago
A general definition of malware
We propose a general, formal definition of the concept of malware (malicious software) as a single sentence in the language of a certain modal logic. Our definition al thanks to it...
Simon Kramer, Julian C. Bradfield
136
Voted
MEMOCODE
2010
IEEE
15 years 1 months ago
Monitoring temporal SystemC properties
Monitoring temporal SystemC properties is crucial for the validation of functional and transaction-level models, yet the current SystemC standard provides no support for temporal s...
Deian Tabakov, Moshe Y. Vardi
144
Voted
SEMWEB
2010
Springer
15 years 1 months ago
Towards Technology Structure Mining from Scientific Literature
Abstract. This paper introduces the task of Technology-Structure Mining to support Management of Technology. We propose a linguistic based approach for identification of Technology...
Behrang QasemiZadeh