11653 search results - page 2016 / 2331 » The Development of the C Language |
132
click to vote
CLIMA
2004
15 years 6 months ago
2004
Abstract. We present an encoding of a sequent calculus for a multiagent epistemic logic in Athena, an interactive theorem proving system for many-sorted first-order logic. We then ...
175
click to vote
DAGSTUHL
2006
15 years 6 months ago
2006
In order to tackle the entire web service life cycle, it is necessary to face how to model systems based on service functionality and also how to add extra-functional properties to...
142
click to vote
FLAIRS
2004
15 years 6 months ago
2004
Finding definitions in huge text collections is a challenging problem, not only because of the many ways in which definitions can be conveyed in natural language texts but also be...
170
click to vote
I3E
2004
15 years 6 months ago
2004
: The notion of service is closely coupled with the notion of process in general and of workflow in particular. Processes capture the coordination logic for the various resources i...
123
click to vote
IADIS
2004
15 years 6 months ago
2004
Internet has changed many aspects of our society, transforming it in e-society, and is having special importance in business world, Internet has converted business in e-business. ...