617 search results - page 43 / 124 » A unified language processing methodology |
NLDB
2004
Springer
15 years 3 months ago
2004
Springer
Many queries processed on the World Wide Web do not return the desired results because they fail to take into account the context of the query and information about user’s situat...
CAISE
2000
Springer
15 years 2 months ago
2000
Springer
We present a formal framework for representing enterprise knowledge. The concepts of our framework (objectives and goals, roles and actors, actions and processes, responsibilities ...
JOT
2008
14 years 9 months ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
FDL
2008
IEEE
14 years 11 months ago
2008
IEEE
This paper describes a scenario-based methodology em-level design validation based on the Abstract State Machines formal method. This scenario-based approach complements an existi...
CALCO
2005
Springer
15 years 3 months ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...