3554 search results - page 168 / 711 » Estimating software based on use case points |
143
click to vote
IFM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
129
click to vote
TOSEM
1998
15 years 4 months ago
1998
Many software process methods and tools presuppose the existence of a formal model of a process. Unfortunately, developing a formal model for an on-going, complex process can be d...
135
click to vote
ELPUB
2007
ACM
15 years 8 months ago
2007
ACM
The paper presents in brief a project aimed at the development of a methodology and corresponding software tools intended for building of proper environments giving up means for s...
186
Voted
CASES
2010
ACM
15 years 2 months ago
2010
ACM
The Advanced Encryption Standard is used in almost every new embedded application that needs a symmetric-key cipher. In such embedded applications, high-performance as well as res...
142
click to vote
QSIC
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents a mechanism for dividing an agent oriented application into the three IEEE defined scoping levels of essential, conditional and optional. This mechanism is ap...