449 search results - page 89 / 90 » Case Studies in Using a Meta-Method for Formal Method Integr... |
ATAL
2003
Springer
13 years 10 months ago
2003
Springer
Auctions are an important means for purchasing material in the era of e-commerce. Research on auctions often studies them in isolation. In practice, however, auction agents are pa...
BMCBI
2008
13 years 5 months ago
2008
Background: Few genetic factors predisposing to the sporadic form of amyotrophic lateral sclerosis (ALS) have been identified, but the pathology itself seems to be a true multifac...
VEE
2009
ACM
14 years 3 days ago
2009
ACM
r of high-level languages lies in their abstraction over hardware and software complexity, leading to greater security, better reliability, and lower development costs. However, o...
ICWE
2003
Springer
13 years 10 months ago
2003
Springer
This work presents a research on the methods and mechanisms necessary to bring the Information and Communication Technologies in the traditional classroom. This will be achieved by...
SIGMOD
2010
ACM
13 years 10 months ago
2010
ACM
Most people consider a database is merely a data repository that supports data storage and retrieval. Actually, a database contains rich, inter-related, multi-typed data and infor...