Sciweavers

4241 search results - page 427 / 849
» A Knowledge-Based Software Information System
Sort
View
ICEIS
2003
IEEE
16 years 2 days ago
Pattern Based Analysis of Eai Languages - The Case of the Business Modeling Language
Abstract: Enterprise Application Integration (EAI) is a challenging area that is attracting growing attention from the software industry and the research community. A landscape of ...
Petia Wohed, Erik Perjons, Marlon Dumas, Arthur H....
IEEEINTERACT
2003
IEEE
16 years 2 days ago
Compiler Support for Dynamic Speculative Pre-Execution
Speculative pre-execution is a promising prefetching technique which uses an auxiliary assisting thread in addition to the main program flow. A prefetching thread (p-thread), whic...
Won Woo Ro, Jean-Luc Gaudiot
CASES
2009
ACM
15 years 11 months ago
Automatic detection of fault attack and countermeasures
Security of smart cards is continuously threatened by many software and hardware attacks. Those attacks focus on giving secret information that are stored in the card like PIN cod...
Ahmadou A. Sere, Julien Iguchi-Cartigny, Jean-Loui...
APSEC
2004
IEEE
15 years 10 months ago
Extending a Graphic Modeling Language to Support Partial and Evolutionary Specification
The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, w...
Yong Xia, Martin Glinz
AMAST
2010
Springer
15 years 1 months ago
Learning in a Changing World, an Algebraic Modal Logical Approach
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...
Prakash Panangaden, Mehrnoosh Sadrzadeh