77016 search results - page 14813 / 15404 » Modeling Modeling |
235
click to vote
BIRTHDAY
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
196
click to vote
CAISE
2004
Springer
16 years 18 days ago
2004
Springer
Advanced Business Process Management (BPM) tools enable the decomposition of previously integrated and often ill-defined processes into reusable process modules. These process modu...
218
click to vote
CBSE
2004
Springer
16 years 18 days ago
2004
Springer
According to Szyperski, “a software component is a unit of composition with contractually specified interfaces and explicit context dependencies only”. But it is well known tha...
259
click to vote
CCS
2004
ACM
16 years 18 days ago
2004
ACM
Security must be a first class citizen in the design of large scale, interacting, software applications, at early and all stages of the lifecycle, for accurate and precise policy ...
191
click to vote
CIKM
2004
Springer
16 years 18 days ago
2004
Springer
Automatically categorizing documents into pre-defined topic hierarchies or taxonomies is a crucial step in knowledge and content management. Standard machine learning techniques ...