4266 search results - page 300 / 854 » A Framework for Defining Logics |
195
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
299
click to vote
ENTCS
2002
15 years 6 months ago
2002
Elf is a general meta-language for the specification and implementation of logical systems in the style of the logical framework LF. Proof search in this framework is based on the...
158
click to vote
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
I present a research framework and some tools developed as part of an ongoing effort into defining and using interaction history as part of a user interface for social navigation,...
163
click to vote
DEXAW
1998
IEEE
15 years 10 months ago
1998
IEEE
Consistency criteria adopted for the transactional management of shared objects define the degree of allowable interleaving between concurrent transactions. This paper presents an...
183
click to vote
EUROGP
2006
Springer
15 years 10 months ago
2006
Springer
This paper extends a geometric framework for interpreting crossover and mutation [4] to the case of sequences. This representation is important because it is the link between artif...