738 search results - page 23 / 148 » Object Orientation and Formal Techniques |
APLAS
2007
ACM
15 years 2 months ago
2007
ACM
Pattern matching makes ML programs more concise and readable, and these qualities are also sought in object-oriented settings. However, objects and classes come with open erarchie...
121
Voted
SCM
1998
15 years 7 days ago
1998
This paper presents a technique for product configuration modelling based on object-orientation and attribute grammars. The technique allows efficient interactive configurator tool...
ATAL
2000
Springer
15 years 3 months ago
2000
Springer
In this paper, we describe a framework to program open societies of concurrently operating agents. The agents maintain a subjective theory about their environment and interact with...
ICECCS
2002
IEEE
15 years 3 months ago
2002
IEEE
The characteristics of object-oriented software affect type and relevance of faults. In particular, the state of the objects may cause faults that cannot be easily revealed with t...
78
Voted
DSN
2007
IEEE
15 years 5 months ago
2007
IEEE
Radio Frequency Identification (RFID) technology has the potential to dramatically improve numerous industrial practices. However, it still faces many challenges, including secur...