4987 search results - page 277 / 998 » Support Ordered Resolution |
231
Voted
POPL
2002
ACM
16 years 4 months ago
2002
ACM
Functional logic overloading is a novel approach to userdefined overloading that extends Haskell's concept of type classes in significant ways. Whereas type classes are conce...
129
click to vote
ICSE
2004
IEEE-ACM
16 years 4 months ago
2004
IEEE-ACM
Caring for security at requirements engineering time is a message that has finally received some attention recently. However, it is not yet very clear how to achieve this systemat...
126
click to vote
MOBISYS
2003
ACM
16 years 4 months ago
2003
ACM
Mobile computing characteristics demand data management systems to support independent operation. However, the execution of updates in a mobile client usually need to be considere...
142
click to vote
ANSS
2008
IEEE
15 years 11 months ago
2008
IEEE
Functional prototypes and simulations are a well recognised and valued tool for building a shared understanding of requirements between users and developers. However, the developm...
132
click to vote
ISPW
2007
IEEE
15 years 11 months ago
2007
IEEE
The formalization of process definitions has been an invaluable aid in many domains. However, noticeable variations in processes start to emerge as precise details are added to pro...