800 search results - page 21 / 160 » Towards a formalization of budgets |
75
Voted
IFM
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. This paper introduces the ISpec approach to interface specification. ISpec supports the development of interface specifications at various levels of formality and detail ...
JUCS
2010
14 years 8 months ago
2010
: As ICT provide a lot of possibilities, high expectancies exist towards the electronic public service provision. All governments are increasingly establishing their e-strategies. ...
98
Voted
ECSCW
1997
14 years 11 months ago
1997
: Formal tools (i.e , tools that operate on circumscribed input using rules, and that contain a model of the workplace in which are to function) are attributed central roles in org...
90
Voted
CORR
2011
Springer
14 years 5 months ago
2011
Springer
— In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional cor...
126
click to vote
AAMAS
2012
Springer
13 years 5 months ago
2012
Springer
Recent research has shown that virtual agents expressing empathic emotions toward users have the potentiality to enhance human-machine interaction. To provide empathic capabilitie...