6722 search results - page 878 / 1345 » The DSML4MAS development environment |
197
click to vote
SPIN
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
133
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Strategic flexibility is a critical organizational competency in today’s dynamic global environment. This paper explores the impact of enterprise information systems on an organ...
146
click to vote
ICDM
2008
IEEE
16 years 1 months ago
2008
IEEE
Although a huge amount of remote sensing data has been provided by Earth observation satellites, few data manipulation techniques and information extraction in large data sets hav...
190
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Software engineering is a complex sociotechnical activity, due to the need for discussing and sharing knowledge among team members. This has raised the need for effective ways of ...
170
click to vote
SCAM
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper argues that semantic information encoded in natural language identifiers is a largely neglected resource for program analysis. First we show that words in Java class n...