3554 search results - page 168 / 711 » Estimating software based on use case points |
195
click to vote
IFM
2004
Springer
16 years 10 days 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...
179
click to vote
TOSEM
1998
15 years 6 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...
189
click to vote
ELPUB
2007
ACM
15 years 11 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...
229
click to vote
CASES
2010
ACM
15 years 5 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...
191
Voted
QSIC
2005
IEEE
16 years 16 days 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...