11168 search results - page 272 / 2234 » Abstract State Processes |
205
Voted
SAS
2005
Springer
16 years 11 days ago
2005
Springer
We show that the idea of predicates on heap objects can be cast in the framework of predicate abstraction. This leads to an alternative view on the underlying concepts of three-val...
180
Voted
ISESE
2003
IEEE
16 years 5 days ago
2003
IEEE
Software Engineering studies run in classroom environments can and have made important contributions to empirical software engineering. Because the goal of such studies is to impr...
163
click to vote
ASSETS
2005
ACM
15 years 8 months ago
2005
ACM
In this paper, we describe our current work in developing a computer-based educational tool for Occupational Therapy students learning client evaluation techniques. The software i...
177
click to vote
DMSN
2008
ACM
15 years 8 months ago
2008
ACM
When dealing with sensors with different time resolutions, it is desirable to model a sensor reading as pertaining to a time interval rather than a unit of time. We introduce two ...
174
click to vote
NAACL
2007
15 years 8 months ago
2007
Interests to realize semantic frames databases as a stable starting point in developing semantic knowledge based systems exists in countries such as Germany (the Salsa project), E...