9702 search results - page 1794 / 1941 » Communicating Mobile Processes |
157
click to vote
FMCO
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
140
click to vote
BCI
2009
IEEE
15 years 10 months ago
2009
IEEE
e-Government services are emerging rapidly in the developing world. Many countries use e-Government as an enabling tool to increase efficiency, enhance transparency, collect more ...
137
click to vote
DATE
2010
IEEE
15 years 10 months ago
2010
IEEE
—Static and dynamic variations, which have negative impact on the reliability of microelectronic systems, increase with smaller CMOS technology. Thus, further downscaling is only...
130
click to vote
SG
2010
Springer
15 years 10 months ago
2010
Springer
Hand-drawn pictures differ from ordinary perspective images in that the entire scene is composed of local feature regions each of which is projected individually as seen from its ...
129
click to vote
ACSC
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper describes the use of the reflective journal in a computer programming course at the University of South Australia. We describe rationale for the journal relating it to ...