11462 search results - page 413 / 2293 » Developing Application-Centric Methods |
174
click to vote
ZUM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present a new methodology that permits to reuse an existing hardware component that has not been developed within the B framework while maintaining a correct design ï¬...
149
click to vote
PRDC
2002
IEEE
15 years 10 months ago
2002
IEEE
Feature interaction is a kind of inconsistent conflict between multiple communication services and considered an obstacle to developing reliable telephony systems. In this paper ...
125
click to vote
IFM
1999
Springer
15 years 9 months ago
1999
Springer
Embedded real-time systems consist of a digital controller interacting with its physical environment. Developing such systems therefore involves specifying and reasoning about bot...
138
Voted
ICDCS
1998
IEEE
15 years 9 months ago
1998
IEEE
This paper considers the problem of key agreement in a group setting with highly-dynamic group member population. A protocol suite, called CLIQUES, is developed by extending the w...
149
click to vote
IV
1998
IEEE
15 years 9 months ago
1998
IEEE
This paper builds on principles of depicting transparency in hand-made line drawings, and develops a method to generate similar, but computer-generated, line drawings in a two-ste...